ALPS - A Language for Process Specification
نویسندگان
چکیده
This paper describes research identifying information models to facilitate process specification and to transfer this information to process control. A conceptual schema is introduced as a means to bridge the gap between process planning requirements and production control requirements. The result is a process specification language based on directed graph notation which allows full specification of parallel activities, event synchronization, alternative processes, resource management, and task decomposition.
منابع مشابه
The ALPS Kernel for Processor Networks
ALPS is an operating system kernel which provides support for developing portable and e cient parallel programs for MIMD machines. It achieves this by supporting a new paradigm for parallel programming, wherein the shared or distributed nature of memory and the topology of the processor interconnection are transparent to the programmer. Using the ALPS approach, a programmer of a processor netwo...
متن کاملA Feature-based Machining System using STEP
Discrete part manufacturing flows from a design phase in which product information is defined to a manufacturing phase in which the processes for machined parts and tooling are planned and executed. Process planning typically culminates with the generation of numerical control (NC) programs for specific equipment, such as machining centers or turning centers. These NC programs are written in th...
متن کاملWeb Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملResiduals based process capability indices for two-stage processes
The manufacturing operations often involve multistage processes where the process capability of each stage is affected by the process capability of its precedent processes. This property is known as the cascade property. The purpose of this paper is to estimate the process capability of the second stage of two-stage process while the cascade property impact is removed using residuals analysis. ...
متن کاملA Collaborative Framework for 3D Mapping Using Unmanned Aerial Vehicles
This paper describes an overview of a generic framework for collaboration among humans and multiple heterogeneous robotic systems based on the use of a formal characterization of delegation as a speech act. The system used contains a complex set of integrated software modules that include delegation managers for each platform, a task specification language for characterizing distributed tasks, ...
متن کامل